Linux内核Lockdep深度实战：从死锁检测到依赖图验证的静态分析全解
深度剖析Linux内核Lockdep死锁检测工具：从运行时锁依赖图构建到BFS环检测算法的六类规则验证。涵盖锁类与子类分层模型、IRQ安全上下文追踪、多设备驱动子类分流策略、以及字符驱动ioctl/irq死锁、多端口串口分类、workqueue睡眠陷阱等真实案例。包含6.x内核新特性、Rust整合、与KCSAN的分工对比及性能基准。
KCSAN
Linux内核KCSAN并发消毒器深度实战：内核数据竞争检测与修复指南
深入Linux KCSAN并发检测工具：从Happens-Before理论到watchpoint机制，配合实战案例修复驱动数据竞争，覆盖编译配置、性能调优、与ftrace/LOCKDEP联动
Linux 内核内存错误检测工具链深度实战——从 KASAN 到 ARM MTE
深入解析 Linux 内核完整的内存检测工具链：KASAN、UBSAN、KFENCE、KCSAN 和 ARM MTE，通过真实场景的调试案例演示如何将这些工具落地到日常开发流程中，覆盖从开发 CI 到生产部署的全流程实践。
Linux 内核内存屏障与无锁编程深度实战：从 Compiler Reordering 到 Cache Coherence
从底层原理到内核实战，全面解析 Linux 内核内存屏障原语、RCU 实现机制、Seqlock 设计精髓与 ARM64 弱序内存模型，附大量代码示例与调试方法。
